Xavier Leroy - PDFSEARCH.IO - Document Search Engine

Xavier Leroy
Results: 125

#	Item
121	Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-12 03:05:56 Computing Adjoint functors Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Haskell Purely functional Declarative programming Software engineering Functional programming
122	The OCaml system release 4.01 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2013-09-12 07:43:14 OCaml Comparison of programming languages Coupling Preprocessor Caml Perl module Arbitrary-precision arithmetic Software engineering Computing Computer programming
123	The OCaml system release 3.12 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-07-29 09:33:47 Object-oriented programming OCaml Caml Coupling Comparison of programming languages Preprocessor Information hiding Perl module Software engineering Computing Computer programming
124	Bytecode verification on Java smart cards Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-02-09 09:32:02 Central processing unit Cross-platform software Java virtual machine Assembly languages Java Card Instruction set Stack Java Subroutine Computing Software engineering Computer programming
125	PDF Document Add to Reading List Source URL: cufp.galois.com Language: English - Date: 2008-02-15 20:56:37 Functional languages OCaml Caml National Institute for Research in Computer Science and Control Xavier Leroy ML Software engineering Computing Computer programming